transition:    
s1-a-s2;
s1-b-s2;
s2-a-s1;
initial:
s1;
final:
s1;
s2.